An executable metamodel refactoring catalog

Specification-Driven Development of an Executable Metamodel in Eiffel

Metamodels precisely define the constructs and underlying well-formedness rules for modelling languages. They are vital for tool vendors, who aim to provide support so that concrete models can be checked formally and automatically against a metamodel for conformance. This paper describes how an executable metamodel – which supports fully automated conformance checking – was developed using a mo...

Refactoring Use Case Models: The Metamodel

Extending ASSL: Making UML Metamodel-based Workflows executable

ASSL is a language that enables UML developers to test and certify UML and OCL models [5]. Snapshots of system states are semi-automatically created and main parts of the UML action semantics is implemented by the language. Its interpreter is the well-known UML modeling tool USE. The article proposes a number of language extensions to ASSL. These include (sub) procedure calls and preand postcon...

Sprachunabhängiges Refactoring - das Dagstuhl Middle Metamodel im Kontext sprachunabhängigen Refactorings

Generating Refactoring Implementations from Platform Independent Metamodel Transformations

Increasingly more developers are applying refactorings program transformations that can improve the design of existing source code to make their software more easily adaptable to new requirements. Because small changes to object-oriented software (such as renaming a class) can require a lot of updates to several source files, tools that automatically update the affected files can save these dev...